Reactive Systems - Modelling, Specification and Verification
- Författare
- (Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2007 | England, Cambridge | 1 online resource (300 sidor.) digital, PDF file(s). | 978-0-511-81410-5 |